if $a$=1 $b$ then $x$ else $y$ \textbf{is Primitive}